a -> (s, s -> a)